Dynamic logic - PDFSEARCH.IO - Document Search Engine

Dynamic logic
Results: 262

#	Item
251	Cyclone Handbook Volume 1, Chapter 2. Cyclone Architecture Add to Reading List Source URL: www.altera.com Language: English - Date: 2008-05-13 08:36:03 Electronics Digital circuits Digital electronics Adder Binary logic Computer arithmetic Dynamic random-access memory Conventional PCI Propagation delay Electronic engineering Computer hardware Computer buses
252	A Latent Topic Model for Complete Entity Resolution Liangcai Shu, Bo Long, Weiyi Meng Add to Reading List Source URL: www.cs.binghamton.edu Language: English - Date: 2009-03-26 08:54:59 Latent Dirichlet allocation Symbol Normal distribution Conjugate prior Expectation–maximization algorithm Entailment Dynamic topic model Statistics Logic Statistical natural language processing
253	Go T o S t a t e m e n t Considered Harmful Add to Reading List Source URL: www.cs.uiuc.edu Language: English - Date: 2005-07-01 15:49:58 Mathematical logic Theoretical computer science Software engineering ALGOL 68 Dynamic programming Formal methods Programming language theory Computing Algorithm
254	KIT REPORT 91 A Correspondence Theory for Terminological Logics: Preliminary Report Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2011-11-08 07:11:58 Non-classical logic Finite model theory Modal logic Philosophical logic Logic in computer science Dynamic logic FO Interpretation SO Logic Mathematical logic Mathematics
255	PDF Document Add to Reading List Source URL: www.sci.brooklyn.cuny.edu Language: English - Date: 2007-12-10 11:41:20 Non-classical logic Philosophical logic Modal logic Rohit Jivanlal Parikh Fuzzy logic Temporal logic First-order logic Dynamic logic Proof theory Logic Mathematical logic Mathematics
256	PDF Document Add to Reading List Source URL: www.latticesemi.com Language: English - Date: 2005-09-23 19:10:46 Technology Computer memory Electronic design automation Runt pulse Flip-flop Programmable Array Logic Metastability Dynamic random-access memory Arbiter Electronic engineering Electronics Digital electronics
257	PDF Document Add to Reading List Source URL: cs-exhibitions.uni-klu.ac.at Language: English - Date: 2008-09-23 05:30:52 Mathematical logic Theoretical computer science Software engineering ALGOL 68 Dynamic programming Formal methods Programming language theory Computing Algorithm
258	PDF Document Add to Reading List Source URL: www.eecg.toronto.edu Language: English - Date: 2012-10-11 21:41:45 Digital electronics Logic gates Integrated circuits Electronic design Domino logic Dynamic logic CMOS Inverter Barrel shifter Electronic engineering Logic families Electronics
259	PDF Document Add to Reading List Source URL: www.cs.waikato.ac.nz Language: English - Date: 2006-07-03 23:25:31 Operations research Dynamic programming Algorithm Mathematical logic Maximum subarray problem Time complexity Divide and conquer algorithm Fast Fourier transform Linear programming Theoretical computer science Applied mathematics Mathematics
260	PDF Document Add to Reading List Source URL: tx.technion.ac.il Language: English - Date: 2005-03-09 09:46:04 Theoretical computer science Combinatorial optimization Algorithm Control theory Robot Recursion Dynamic programming Branch and bound Mathematical logic Mathematics Applied mathematics

UPDATE